#include <stdio.h>
#include <string.h>
int main()
{
    char data[1001];
    int num[1001],i,t,j,sum;
    while (scanf("%s",data)!=EOF)
    {
        t=0;
        for (i=0;i<strlen(data);i++)
        {
            if (data[i]!='5')
            {
                sum=data[i]-'0';
                while (1)
                {
                    i++;
                    if (i>=strlen(data) || data[i]=='5')break;
                    sum=sum*10+data[i]-'0';
                }
                i--;
                num[t++]=sum;
            }
        }
        int temp;
        for (i=0;i<t-1;i++)
        for (j=i+1;j<t;j++)
            if (num[i]>num[j])
            {
                temp=num[i];
                num[i]=num[j];
                num[j]=temp;
            }
        for (i=0;i<t;i++)
        {
            printf("%d",num[i]);
            if (i!=t-1)printf(" ");
        }
        printf("\n");
    }
    return 0;
}
